rcv($l$,${\it tg}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inl($\langle$$l$$,\,$${\it tg}$$\rangle$)